Premise Selection for Mathematics by Corpus Analysis and Kernel Methods
نویسندگان
چکیده
منابع مشابه
Eigenvalues Ratio for Kernel Selection of Kernel Methods
The selection of kernel function which determines the mapping between the input space and the feature space is of crucial importance to kernel methods. Existing kernel selection approaches commonly use some measures of generalization error, which are usually difficult to estimate and have slow convergence rates. In this paper, we propose a novel measure, called eigenvalues ratio (ER), of the ti...
متن کاملKernel methods for heterogeneous feature selection
This paper introduces two feature selection methods to deal with heterogeneous data that include continuous and categorical variables. We propose to plug a dedicated kernel that handles both kinds of variables into a Recursive Feature Elimination procedure using either a non-linear SVM or Multiple Kernel Learning. These methods are shown to offer state-of-the-art performances on a variety of hi...
متن کاملKernel methods for mixed feature selection
This paper introduces two feature selection methods to deal with heterogeneous data that include continuous and categorical variables. We propose to plug a dedicated kernel that handles both kind of variables into a Recursive Feature Elimination procedure using either a non-linear SVM or Multiple Kernel Learning. These methods are shown to offer significantly better predictive results than stat...
متن کاملPremise Selection for Theorem Proving by Deep Graph Embedding
We propose a deep learning-based approach to the problem of premise selection: selecting mathematical statements relevant for proving a given conjecture. We represent a higher-order logic formula as a graph that is invariant to variable renaming but still fully preserves syntactic and semantic information. We then embed the graph into a vector via a novel embedding method that preserves the inf...
متن کاملKernel Methods for Pattern Analysis
rich family of ‘pattern analysis’ algorithms, whose best known element is the Support Vector Machine very general task: given a set of data (any form, not necessarily vectors), find patterns (= any relations). (Examples of relations: classifications, regressions, principal directions, correlations, clusters, rankings, etc....) (Examples of data: gene expression; protein sequences; heterogeneous...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of Automated Reasoning
سال: 2013
ISSN: 0168-7433,1573-0670
DOI: 10.1007/s10817-013-9286-5